first order system

first order system
Математика: система первого порядка

Универсальный англо-русский словарь. . 2011.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "first order system" в других словарях:

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • First-order hold — The first order hold (FOH) is a mathematical model of the practical reconstruction of sampled signals that could be done by a conventional digital to analog converter (DAC) and an analog circuit called an integrator. For the FOH, the signal is… …   Wikipedia

  • First order partial differential equation — In mathematics, a first order partial differential equation is a partial differential equation that involves only first derivatives of the unknown function of n variables. The equation takes the form: F(x 1,ldots,x n,u,u {x 1},ldots u {x n}) =0 …   Wikipedia

  • First-order control — In control theory, first order control is when a desired result is attempted by adjusting a scalar (first order) control. Such mechanisms, where first order change successfully produces desired results, are called first order mechanisms . First… …   Wikipedia

  • first-order logic — noun A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. Syn: FOL …   Wiktionary

  • System equivalence — In the systems sciences the term system equivalence is the notion that a parameter or component of a system behaves in a similar way as a parameter or component of a different system. Similarity means that mathematically the parameters/components …   Wikipedia

  • Order of Preachers —     Order of Preachers     † Catholic Encyclopedia ► Order of Preachers     As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …   Catholic encyclopedia

  • Order of Canada — Insignia of a Member of the Order of Canada Awarded by the …   Wikipedia

  • System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… …   Wikipedia

  • Order of the Rising Sun — 旭日章 1st Class Grand Cordon Order of the Rising Sun Awarded by the Emperor of Japan Type Order Awarded for …   Wikipedia

  • Order of the Southern Cross — National Order of the Southern Cross Grand Collar of the National Order of the Southern Cross Awarded by the Government of Brazil Type Order …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»